Detecting common elements of types
نویسندگان
چکیده
We describe an algorithm approximating the following question: Given two types t1 and t2, are there instances σ(t1) and σ(t2) denoting a common element? By answering this question we solve a main problem towards a type checking algorithm for non-disjoint types that raises an error just for function calls that cannot be executed successfully. For dynamically typed functional languages such a type checker can extend actual soft typing systems in order to reject provably ill-typed programs.
منابع مشابه
Numerical investigation of composite shear walls with different types of steel and concrete materials as boundary elements
The main objective of this study was to numerically assess the effect of boundary elements with different types of steel and concrete materials on nonlinear behavior of composite steel–reinforced concrete wall (CSRCW) by employing ABAQUS software. Two types of common steel profiles including box and I-shaped sections, located at the middle and extremities of the wall, were employed to assess th...
متن کاملتعیین عناصر موجود در برخی گونه های برنج ایرانی با استفاده از روش بینابنمایی فروشکست القایی لیزری
Background and purpose: Cereals are the most important components of a healthy diet. Rice is one of the most common consumed grains in the world and a staple food of people in everyday meals. This study aimed at introducing a novel analytical approach in investigation of harmful metals and necessary elements in some types of Iranian rice by using Laser Induced Breakdown Spectroscopy (LIBS) meth...
متن کاملProviding a Model for Detecting Tax Fraud Based on the Personality Types of Corporate Financial Managers using the Neural Network Approach
One of the management measures to reduce tax liabilities is non-payment of taxes through tax fraud. Because personality factors may play a role in explaining tax ethics, examining personality traits and aspects of tax fraud can help to better understand the factors that influence tax decisions. The main purpose of this study is to provide a model for detecting tax fraud based on the personality...
متن کاملUPL determination of multi-element deposits with grade uncertainty using a new block economic value calculation approach
The block economic value (BEV) of a single-metal deposit is calculated based on the metal content and the related costs. The common methods available for calculating BEV are just based upon the profitable elements, and the effects of undesirable elements on BEV are not considered. However, in multi-element deposits, the effects of other elements existing in the blocks on BEV should be considere...
متن کاملDetection of power oscillation and simultaneous faults using Clark transform
Distance relays are widely used to protect transmission lines. Sometimes, in these lines due to the occurrence of the oscillation of the power, the impedance calculated in the distance relay enters into its functional zones and leads to the cutting off of the lines. This issue can cause global power outages. Accordingly, in this paper, a Clark-based method for detecting the oscillation of power...
متن کامل